Von Neumann, Turing a Gödel: o mysli a strojích

The paper discusses some of the poorly explored links between conceptual systems logic in Kurt Gödel, theory automata Alan Turing, and self-reproducing John von Neumann. Traditional controversies are left aside (especially opposition Gödel Turing view mind) attention is focused on similarities all three authors. In individual chapters, text deals with: form differentiation syntax semantics formal system Neumann; Neumann’s variant Gödel’s theorem conception machine; finally same basis relation mind automaton